Flat maximal parallelism in tissue P systems with promoters
نویسندگان
چکیده
Tissue P systems with promoters are distributed parallel computing models inspired by the structure of tissues and the way of communicating substances regulated by promoters. In this work, we consider tissue P systems with promoters working in a flat maximally parallel way, where in each step, in each membrane, a maximal set of applicable rules is chosen and each rule in the set is applied exactly once. It is proved that tissue P systems with at most two promoters associated with any rule and using only symport rules of length 1 are Turing universal. Moreover, a uniform solution to the SAT problem is provided by tissue P systems with at most two promoters associated with any rule and using cell division rules and symport rules of length 1. Key-words: Tissue P system, Promoter, Flat maximal parallelism, SAT problem, Universality
منابع مشابه
Signaling P Systems and Verification Problems
We introduce a new model of membrane computing system (or P system), called signaling P system. It turns out that signaling systems are a form of P systems with promoters that have been studied earlier in the literature. However, unlike non-cooperative P systems with promoters, which are known to be universal, noncooperative signaling systems have decidable reachability properties. Our focus in...
متن کاملDevelopment of extensions of P systems for modelling and simulation of population dynamics
This work presents a new computational approach, based on the formalism of P systems, for modelling and running simulations of animal population dynamics phenomena. Population and ecosystem dynamics models are de ned by the description of processes that involve several elements to be taken into account. Populations include individuals that belong to the same species, while one ecosystem include...
متن کاملP-227: Functional Analysis of The I.a,I.b, I.c and I.d (PII) Promoters of CYP19 (aromatase) Gene in Granulosa Cells of Polycystic Ovaries Patients and The Role of Letrozole and Antisensearom on CYP19 Gene Expression Inhibition
Background: The key enzyme of estrogen biosynthesis, aromatase cytochrome P450,is encoded by the CYP19 gene.CYP19 plays an important role in the development,function,an regulation of the female reproduction cycle. Thus, it is the potential candidate gene affecting fertility performance in human. CYP19 transcripts are expressed mainly in the ovary,testes,breast,adipose tissue and brain. Tissue e...
متن کاملCompositional semantics and behavioral equivalences for P Systems
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Firstly, we consider P Systems with maximal parallelism and without priorities. We define a process algebra, called P Algebra, whose terms model membranes, we equip the algebra with a Labeled Transition System (LTS) obtai...
متن کاملThe Power of Maximal Parallelism in P Systems
We consider the following definition (different from the standard definition in the literature) of “maximal parallelism” in the application of evolution rules in a P system G: Let R = {r1, ...rk} be the set of (distinct) rules in the system. G operates in maximal parallel mode if at each step of the computation, a maximal subset of R is applied, and at most one instance of any rule is used at e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017